MdSpanningComment.lagda.md:2,4-6,19: Multi-line comment spans one or more literate text blocks.
MdSpanningComment.lagda.md:10,3-16,7: Multi-line comment spans one or more literate text blocks.
